programming language semanticsの例文
もっと例文: 1 2
- Moreover, he focuses on programming language semantics, type systems and functional programming.
- The "'Isabelle theorem prover "'is an programming language semantics.
- Some compilers can detect such cases and emit faster code, but programming language semantics may constrain such optimizations.
- Some experimental compiler-compilers take as input a formal description of programming language semantics, typically using denotational semantics.
- The imprecision of natural language as a vehicle for describing programming language semantics can lead to problems with interpreting the specification.